//]]>
Software Composition by Baudry, Benoît. Publication: . VIII, 155p. 56 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods for Quantitative Aspects of Programming Languages by Aldini, Alessandro. Publication: . VII, 169p. 31 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Coordination Models and Languages by Clarke, Dave. Publication: . XI, 183p. 50 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
High Performance Computing Systems and Applications by Mewhort, Douglas J. K. Publication: . XIII, 418p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Engineering Secure Software and Systems by Massacci, Fabio. Publication: . X, 241 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Fundamentals of Software Engineering by Arbab, Farhad. Publication: . XIII, 471p. 135 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Grid Resource Management by Siddiqui, Mumtaz. Publication: . XV, 227p. 70 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Verification, Model Checking, and Abstract Interpretation by Barthe, Gilles. Publication: . X, 397p. 105 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
SOFSEM 2010: Theory and Practice of Computer Science by Leeuwen, Jan. Publication: . XV, 780 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Technology for Verification and Analysis by Hung, Dang. Publication: . XIV, 528 p. 115 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Technological Developments in Education and Automation by Iskander, Magued. Publication: . XIV, 537p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
A Primer on Scientific Programming with Python by Langtangen, Hans Petter. Publication: . XXXII, 798 p. 79 illus., 30 illus. in color. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
A Primer on Scientific Programming with Python by Langtangen, Hans Petter. Publication: . XXX, 706p. 72 illus., 28 illus. in color. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Simula Research Laboratory by Tveito, Aslak. Publication: . X, 656p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Mathematics, Computer Science and Logic - A Never Ending Story by Paule, Peter. Publication: . VII, 113 p. 35 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Robust Data Mining by Xanthopoulos, Petros. Publication: . XII, 59 p. 6 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Science and its Applications by Yeo, Sang-Soo. Publication: . XXVI, 996 p. 412 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Innovative Technologies for Dependable OTS-Based Critical Systems by Cotroneo, Domenico. Publication: . VIII, 215 p. 49 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Clustering-Based Support for Software Architecture Restructuring by Streekmann, Niels. Publication: . XIX, 241p. 60 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Specification and Analytical Evaluation of Heterogeneous Dynamic Quorum-Based Data Replication Schemes by Storm, Christian. Publication: . XIV, 350p. 93 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart

Languages: 
English |
العربية